* configure.in: Distinguish between hp800's and hp700's by calling
authorJim Blandy <jimb@redhat.com>
Mon, 24 May 1993 05:06:15 +0000 (05:06 +0000)
committerJim Blandy <jimb@redhat.com>
Mon, 24 May 1993 05:06:15 +0000 (05:06 +0000)
commitc55f453be0f383d86572a1518a241d545c7f2e2a
tree60cc998b6a51fea39d8bcb863a9dc6d736d27cbb
parent6cb37d97913cf133acd5ff6f94344165e1bf5869
* configure.in: Distinguish between hp800's and hp700's by calling
"uname -m".

* configure.in: Distinguish between hp800's and hp700's by calling
"uname -m".
configure1.in